A Soft Stairway to Institutions
نویسندگان
چکیده
Abs t rac t . The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of conditional equational logics for partial algebras into equational type logic axe revisited in this light. Model-theoretic results relating to compactness axe presented as well.
منابع مشابه
Correction: The Energy Expenditure of Stair Climbing One Step and Two Steps at a Time: Estimations from Measures of Heart Rate
Stairway climbing provides a ubiquitous and inconspicuous method of burning calories. While typically two strategies are employed for climbing stairs, climbing one stair step per stride or two steps per stride, research to date has not clarified if there are any differences in energy expenditure between them. Fourteen participants took part in two stair climbing trials whereby measures of heart...
متن کاملFirst one-dimensional homochiral stairway-like Cu(II) chains: crystal structures, circular dichroism (CD) spectra, ferroelectricity and antiferromagnetic properties.
The reactions of enantiopure chiral ligands (+)/(−)-4,5-pinenepyridyl-2-pyrazine (LS/LR) with CuCl2·2H2O in CH3OH/CH2Cl2 solution led to the formations of one-dimensional homochiral enantiomeric pairs with the formula [Cu(LR/S)Cl2]n·2H2O (R-1 and S-1, the isomers containing the LR and LS ligands, respectively). The circular dichroism (CD) spectra verified their chiroptical activities and enanti...
متن کاملPolysemy in the Lexicon
Cause you know sometimes words have two meanings.' Led Zepppelin, Stairway to Heaven.
متن کاملRoad traffic in the Netherlands: Relatively safe but not safe enough!
The Netherlands—a small, densely populated country in North Western Europe, about as big as Rhode Island—has a population of about 16 million, nearly 135,000 kilometers of paved roads, and about 7 million cars. It has quite a large number of historical city centers that are centuries old. Recently, a music festival was held in one of them, Utrecht. The performances took place on a boat on a can...
متن کاملFatal acute intracranial injury, subdural hematoma, and retinal hemorrhages caused by stairway fall.
We describe an infant with an acute subdural hematoma, a fatal head injury, and severe hemorrhagic retinopathy caused by a stairway fall. His cerebral and ocular findings are considered diagnostic of abusive head trauma by many authors. Our literature search of serious injuries or fatalities from stairway or low-height falls involving young children yielded 19 articles of primary data. These ar...
متن کامل